0.00/0.31	NO
0.00/0.31	
0.00/0.31	Problem:
0.00/0.31	 f (F X) -> g X
0.00/0.31	
0.00/0.31	Proof:
0.00/0.31	 Higher-Order Nonconfluence Processor:
0.00/0.31	  non-joinable conversion:
0.00/0.31	  g 5 *<- g 5 <- f 6 -> g X ->* g X
0.00/0.31	  Qed
0.00/0.32	EOF